1
逻辑之基:实数比较事实与不等式性质推导
MATH1001CA-PEP-CN Lesson 2
00:00
b a a - b > 0 ↔ a > b
实数的大小比较是整个数学逻辑的基石。在数轴上,实数与点一一对应。通过观察点的位置,我们可以直观感知“不等”。

基本事实:
  • 如果 $a-b$ 是正数,那么 $a>b$;
  • 如果 $a-b$ 等于 0,那么 $a=b$;
  • 如果 $a-b$ 是负数,那么 $a< b$。
0 是正数与负数的分界点,它为实数比较大小提供了“标杆”。 利用作差法,我们可以将复杂代数式的大小比较转化为判断其差值的正负,这是证明不等式的最基本方法。
不等式的核心性质:
1. 传递性:$a > b, b > c \Rightarrow a > c$
2. 加法:$a > b \iff a + c > b + c$
3. 乘法:$c > 0 \Rightarrow ac > bc$; $c < 0 \Rightarrow ac < bc$
$$a > b \iff a - b > 0$$